3

Inverse subsumption for complete explanatory induction

Year:
2012
Language:
english
File:
PDF, 789 KB
english, 2012
6

An extension of pointwise circumscription

Year:
1996
Language:
english
File:
PDF, 955 KB
english, 1996
16

Completeness of temporal and spatial logic ETSL

Year:
1987
Language:
english
File:
PDF, 969 KB
english, 1987